Northeastern University - PDFSEARCH.IO - Document Search Engine

Northeastern University
Results: 1569

#	Item
511	The Network as a Language Construct Tony Garnock-Jones1 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Northeastern University, Boston, Massachusetts, USA 2 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Valuation Mathematics Process calculi Theoretical computer science Π-calculus
512	Functional Objects Matthias Felleisen PLT Northeastern University The Myth Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2004-06-17 05:40:23 Computing Programming paradigms Object Imperative programming OO Matthias Felleisen Immutable object Software engineering Object-oriented programming Computer programming
513	Fortifying Macros ∗ Ryan Culpepper † Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Source code Formal languages C programming language Transformation languages Hygienic macro Scheme programming language Macro Pattern matching Attribute grammar Computer programming Computing Software engineering
514	Adding Types to Untyped Languages Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Type theory Lambda calculus Data types Functional programming Racket Matthias Felleisen Type safety Programming language Robert Bruce Findler Software engineering Computing Programming language theory
515	The NERA Researcher is a quarterly newsletter for members of the Northeastern Add to Reading List Source URL: www.nera-education.org Language: English - Date: 2014-04-29 14:57:09 Academia Education in the United States University of Massachusetts Amherst University of Massachusetts Massachusetts Institute of Technology New England Association of Schools and Colleges Association of Public and Land-Grant Universities Higher education
516	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
517	Feature-Specific Profiling Vincent St-Amour, Leif Andersen, and Matthias Felleisen PLT @ Northeastern University {stamourv,leif,matthias}@ccs.neu.edu Abstract. High-level languages come with significant readability and Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Profilers Subroutines Racket Profiling Continuation Pin Eiffel Call stack Assertion Software engineering Computer programming Computing
518	TeachScheme!—A Checkpoint Matthias Felleisen PLT Northeastern University, Boston, Massachusetts [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Programming paradigms Scheme programming language How to Design Programs ProgramByDesign Matthias Felleisen Racket The Structure and Interpretation of the Computer Science Curriculum Matthew Flatt Object-oriented programming Computing Software engineering Computer programming
519	Automatic Verification for Interactive Graphical Programs Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Formal methods Functional languages Cross-platform software Automated theorem proving ACL2 Common Lisp Formal verification Lisp Software engineering Computing Computer programming
520	A Contracts for First-Class Classes T. STEPHEN STRICKLAND, CHRISTOS DIMOULAS, ASUMU TAKIKAWA, and MATTHIAS FELLEISEN, Northeastern University, Boston, MA[removed]First-class classes enable programmers to abstract over pat Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Object-oriented programming Racket Design by contract Stack Eiffel Java Subtype polymorphism Constructor Matthias Felleisen Software engineering Computing Computer programming

UPDATE